"Nicola Olivetti" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Proof Theory for Fuzzy Logics (Applied Logic Series, Volume 36)

George Metcalfe, Nicola Olivetti, Dov Gabbay

Категория: Математика, Прикладная математика

1.78 Mb

#2

Automated Reasoning with Analytic Tableaux and Related Methods, 16 conf., TABLEAUX 2007

Nicola Olivetti

Категория: CsLn_

2.68 Mb

#3

Goal-Directed Proof Theory

Dov M. Gabbay, N. Olivetti, Nicola Olivetti

1.33 Mb